81. Cyber-physical Systems and Digital Twins :
پدیدآورنده: Michael E. Auer, Kalyan Ram B., editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cooperating objects (Computer systems), Congresses.,Engineering instruments, Congresses.,Internet of things, Congresses.,Remote control, Congresses.,Cooperating objects (Computer systems),Engineering instruments.,Internet of things.,Remote control.
رده :
TJ213
.
I58
2019
82. Cybernetics and systems '86 :
پدیدآورنده: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
83. DNA computing and molecular programming :
پدیدآورنده: David Doty, Hendrik Dietz (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Molecular computers, Congresses.,Artificial Intelligence.,Coding and Information Theory.,Computation by Abstract Devices.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Artificial intelligence.,Coding theory & cryptology.,Computer networking & communications.,Computer programming-- software development.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Machine Theory.,Computers-- Programming-- General.,Image processing.,Molecular computers.,User interface design & usability.
رده :
QA76
.
887
.
I58
2018eb
84. Dependable computing--EDCC-1 :
پدیدآورنده: Klaus Echtle, Dieter Hammer, David Powell, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic digital computers -- Reliability -- Congresses.,Fault-tolerant computing -- Congresses.,Tolérance aux fautes (Informatique) -- Congrès.
رده :
QA76
.
9
.
F38
K538
1994
85. Design and implementation of symbolic computation systems :
پدیدآورنده: John Fitch
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
86. Design and implementation of symbolic computation systems :
پدیدآورنده: A. Miola, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
87. Developing Information Systems :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: System design.,Computer science-- Congresses.,Database management, Congresses.,Information storage and retrieval systems-- Congresses.
رده :
QA75
.
5
88. Digital human modeling and applications in health, safety, ergonomics and risk management :
پدیدآورنده: Vincent G. Duffy (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Digital computer simulation, Congresses.,Environmental risk assessment-- Data processing, Congresses.,Human engineering-- Data processing, Congresses.,Human mechanics-- Computer simulation, Congresses.,Human-machine systems-- Computer simulation, Congresses.,Medical care-- Data processing, Congresses.,Digital computer simulation.,Environmental risk assessment-- Data processing.,Human engineering-- Data processing.,Human mechanics-- Computer simulation.,Human-machine systems-- Computer simulation.,Medical care-- Data processing.
رده :
QA76
.
9
.
H85
89. Distributed and parallel embedded systems :
پدیدآورنده: edited by Franz J. Rammig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing, Congresses.,Embedded computer systems, Congresses.,Parallel processing (Electronic computers), Congresses.,Parallélisme (Informatique)-- Congrès.,Systèmes enfouis (Informatique)-- Congrès.,Traitement réparti-- Congrès.,Electronic data processing-- Distributed processing.,Embedded computer systems.,Parallel processing (Electronic computers)
رده :
QA76
.
9
.
D5
I3477
1998
90. Enduser systems and their human factors :
پدیدآورنده: edited by A. Blaser and M. Zoeppritz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Interactive computer systems -- Congresses.,Interactive computer systems.,Systèmes conversationnels (Informatique) -- Congrès.
91. Enduser systems and their human factors :
پدیدآورنده: edited by A. Blaser and M. Zoeppritz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Interactive computer systems -- Congresses.,Interactive computer systems.,Systèmes conversationnels (Informatique) -- Congrès.
92. Engineering trustworthy software systems :
پدیدآورنده: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
93. Enterprise information systems :
پدیدآورنده: Joaquim Filipe, José Cordeiro (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Management information systems, Congresses.,Affaires.,Economie de l'entreprise.,Management information systems.,Science économique.
رده :
T58
.
6
.
I58
2009
94. Enterprise information systems of the future :
پدیدآورنده: Geert Poels (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business -- Data processing -- Congresses.,Enterprise application integration (Computer systems) -- Congresses.,Management information systems -- Congresses.
رده :
T58
.
6
G447
2013
95. Euro-Par 2018 :
پدیدآورنده: edited by Gabriele Mencagli, Dora B. Heras et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I58
2018eb
96. Experimental Stress Analysis :
پدیدآورنده: edited by H. Wieringa.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mechanics.,Physics.
رده :
TA407
.
E358
1986
97. Formal methods for industrial critical systems :
پدیدآورنده: Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
98. Formal methods for software architectures :
پدیدآورنده: Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
99. Formal methods for software architectures :
پدیدآورنده: Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
رده :
QA76
.
9
.
F67
M373
2003
100. Formal modeling and analysis of timed systems :
پدیدآورنده: David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
